退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:从UML类图生成操作规范:一种模型转换方法
Albert, Manoli; Cabot, Jordi; Gómez, Cristina; Pelechano, Vicente;
机译:从UML模型生成可验证的Lotos规范:基于图形的方法
机译:从用例映射生成UML序列图:模型转换方法
机译:从UML交互概述图生成Maude规范:一种基于图变换的方法
机译:从UML图生成基于网络的模型,以支持设计仿真和分析。
机译:基于原子信息经典成核理论的金属玻璃时温变换图的预测建模
机译:基于知识的方法,用于从域模型生成目标系统规范
机译:考虑优先顺序生成用例图的系统和方法,以及使用其的UML建模方法
机译:用于生成考虑优先顺序的用例图的系统和方法,以及使用其的UML建模方法
机译:用于车辆的导航设备,基于进近路径与后退路径的连接关系,车道数量并参考分支模式数据来生成分支模型图。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。